- categorical form
- мат.категорийная форма
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Categorical abstract machine — (CAM) is the model of computation of a program [ Cousineau G., Curien P. L., Mauny M. The categorical abstract machine. LNCS, 201, Functional programming languages computer architecture. 1985, pp. 50 64.] , which preserves the abilities of… … Wikipedia
Categorical data — In statistics, categorical data is that part of an observed dataset that consists of categorical variables, or for data that has been converted into that form, for example as grouped data. More specifically, categorical data may derive from… … Wikipedia
categorical/hypothetical imperative — A pair contrasted in Kantian ethics. A hypothetical imperative embeds a command which is in place only given some antecedent desire or project: ‘If you want to look wise, stay quiet.’ The injunction to stay quiet only applies to those with the… … Philosophy dictionary
Form (zoology) — This article is not about formal zoological nomenclature; it describes terms that are sometimes used but have no standing under the ICZN. Forma (literally Latin for form) is a low level taxonomic rank. It is used in a series of terms and… … Wikipedia
Categorical bridge — In category theory, a discipline in mathematics, a bridge between categories mathbb A and mathbb B is a category mathbb Hsuch that mathbb A and mathbb B are disjoint full subcategories of mathbb H and mathrm{Ob}mathbb H=mathrm{Ob}mathbb Acup… … Wikipedia
categorical proposition — noun : a proposition having the verbal form of direct assertion or denial … Useful english dictionary
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Kant’s moral and political philosophy — Don Becker Practical philosophy, for Kant, is concerned with how one ought to act. His first important work in practical philosophy, Foundations of the Metaphysics of Morals, provides Kant’s argument for the fundamental principle of how one ought … History of philosophy
Syllogism — A syllogism (Greek: συλλογισμός – syllogismos – conclusion, inference ) is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises) of a certain form. In antiquity, there were… … Wikipedia